Essential Concepts of Algebraic Speciication and Program Development
نویسندگان
چکیده
The main ideas underlying work on the model-theoretic foundations of algebraic speciication and formal program development are presented in an informal way. An attempt is made to ooer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere.
منابع مشابه
Speci cation Re nement with System
Essential concepts of algebraic speciication reenement are translated into a type-theoretic setting involving System F and Reynolds' relational parametricity assertion as expressed in Plotkin and Abadi's logic for parametric polymorphism. At rst order, the type-theoretic setting provides a canonical picture of algebraic speciication reenement. At higher order, the type-theoretic setting allows ...
متن کاملCasl the Common Algebraic Speciication Language 1
Casl is an expressive language for the formal speciication of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic speciication and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, rst-order logic, an...
متن کاملGeneric Techniques for Source - Level Debuggingand Dynamic Program
Algebraic speciications have been used successfully as a formal basis for software development. The contribution of this paper is to show that the origin and dynamic dependence relations that are implicitly deened by an algebraic speciication can be used to deene powerful language-speciic tools. In particular, it is shown how tools for source-level debugging and dynamic program slicing can be d...
متن کاملAlgebraic View Speciication ?
The application of algebraic speciication techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view speciication based on an algebraic concept model. The concept model consists of two parts: a meta model deening the concepts of diierent views and the relationships between them, and a system model deening the system be...
متن کاملSpecifying Real Numbers in CASL
We present a weak theory BasicReal of the real numbers in the rst order speciication language Casl. The aim is to provide a datatype for practical purposes, including the central notions and results of basic analysis. BasicReal captures for instance e and ; as well as the trigonometric and other standard functions. Concepts such as continuity, diierentiation and integration are shown to be deen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996